Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
191	Linear temporal logic for regular cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51
192	I:/Ganesh/Research/AAAI2011/camera-ready/aaai-2011-camera-ready-vh-edited.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:22:51 Temporal logic Networks Theoretical computer science Model checking Search algorithms Kripke structure A* search algorithm Connectivity Linear temporal logic Graph theory Mathematics Network theory
193	LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-08 11:47:02 Linear temporal logic Temporal logic Mathematical logic Semigroup Theoretical computer science Semigroup theory Büchi automaton Inverse semigroup Ω-automaton Automata theory Mathematics Algebraic structures
194	Contracts Made Manifest Michael Greenberg Benjamin C. Pierce Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Formal methods Entailment Logical consequence Metalogic Symbol Function Lambda calculus Linear temporal logic Logic Mathematics Deduction
195	An Optimality Principle for Concurrent Systems Langford B White and Sarah L Hickmott School of Electrical and Electronic Engineering The University of Adelaide Australia {lwhite, shick}@eleceng.adelaide.edu.au Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:17 Dynamic programming Markov decision process Stochastic control Interpretation Logic Linear temporal logic Μ operator Statistics Formal languages Model theory
196	Model Composition in Model-Checking Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2014-03-28 05:48:09 Linear temporal logic Temporal logic
197	Sequent-Based Argumentation for Normative Reasoning Christian Straßer Ofer Arieli March 13, 2014 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-03-13 06:52:59 Deduction Functions and mappings Symbol Entailment Substitution Function Linear temporal logic Orbifold Logic Mathematics Propositional calculus
198	Recursive Data Types in Typed Set Theory R.D. Arthan Lemma 1 Ltd. [removed] Abstract Appeals to the axiom of replacement in classical set theory cannot automatically be Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:36:18 Model theory Functions and mappings First-order logic Predicate logic Constructible universe Zermelo set theory Function Operator theory Linear temporal logic Mathematical logic Mathematics Logic
199	Querying Schemas With Access Restrictions Michael Benedikt Pierre Bourhis Clemens Ley Add to Reading List Source URL: vldb.org Language: English - Date: 2012-03-24 02:44:30 Model theory Finite model theory Programming paradigms Conjunctive query Database theory FO Linear temporal logic Datalog First-order logic Theoretical computer science Mathematical logic Mathematics
200	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science

UPDATE